<!--
 * comments...
 -->
 
<p>Role inheritance:</p>

<!-- @actor("RegisteredUser: NotRegisteredUser") -->

<!-- @text("Role inheritance") -->